Disjoint out-of-order execution processor

Out-of-Order Execution of Interruptible Codes

Federation: Out-of-Order Execution using Simple In-Order Cores

Manycore architectures with dozens, hundreds, or thousands of threads are likely to use single-issue, in-order execution cores with simple pipelines but multiple thread contexts per core. This approach is beneficial for throughput but only with thread counts high enough to keep most thread contexts occupied. If these manycore architectures do not want to be limited to niches with embarrassing l...

Comparing Techniques for Out-of-Order Processor Verification in UCLID

In this paper, we show the verification of out-of-order processors in a tool called UCLID. The processor is modeled using the Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions (CLU) — where data words are abstracted with unbounded integers, functional units including ALUs are modeled with uninterpreted functions and memories and queues are modeled with restricted l...

Formal Verification of Out-of-Order Execution Using Incremental Flushing

We present a two-part approach for verifying out-of-order execution. First, the complexity of out-of-order issue and scheduling is handled by creating an in-order abstraction of the out-of-order execution core. Second, incremental flushing addresses the complexity difficulties encountered by automated abstraction functions on very deep pipelines. We illustrate the techniques on a model of a sim...

OVM: Out-of-Order Execution Parallel Virtual Machine

High performance computing on parallel architectures currently uses different approaches depending on the hardware memory model of the architecture, the abstraction level of the programming environment and the nature of the application. In this paper; we introduce an original client-server execution model based on RPCs called Outof-order parallel Virtual Machine (OVM). OVM aims to provide three...